Lawrence Paulson - PDFSEARCH.IO - Document Search Engine

Lawrence Paulson
Results: 36

#	Item
11	Accountability Protocols: Formalized and Verified Giampaolo Bella, Universit`a di Catania Lawrence C. Paulson, University of Cambridge Classical security protocols aim to achieve authentication and confidentiality under Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-01-25 05:41:22
12	Reasoning about Coding Theory: The Benefits We Get from Computer Algebra Clemens Ballarin and Lawrence C. Paulson Computer Laboratory, University of Cambridge, Cambridge CB2 3QG, UK {Clemens.Ballarin, Larry.Paulson}@cl.c Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2001-02-03 17:47:19
13	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2016-02-17 10:49:55
14	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2016-02-17 10:49:55
15	The Rule of Law or the Rule of Central Bankers? Lawrence H. White Economists often prescribe that countries seeking economic development should embrace the principle of the rule of law. I want to suggest that we listen t Add to Reading List Source URL: object.cato.org Language: English - Date: 2012-12-10 20:32:18 Financial crises Monetary policy Monetary economics Fellows of the Econometric Society Federal Reserve System Rule of law Late-2000s financial crisis Henry Paulson Central bank Economics Macroeconomics Economic history
16	Faculty of Computer Science & Technology REVIEW OF THE YEARPersonnel Dr Stephen Clark was appointed to a University Senior Lectureship in Natural Language and Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-11-25 12:36:36 Fellows of the British Computer Society Acorn Computers United Kingdom Andy Hopper Lawrence Paulson Maurice Wilkes Steve Furber Samson Abramsky University of Cambridge Computer Laboratory Fellows of the Royal Society Science and technology in the United Kingdom British people
17	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
18	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
19	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Mathematical proof Recursion Mathematical induction Algorithm Theorem Structural induction Natural deduction Automated theorem proving Recursive definition Mathematics Logic Mathematical logic
20	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Functional languages Procedural programming languages Logic in computer science Isabelle ML OCaml Lawrence Paulson Logic for Computable Functions Programming language Software engineering Computing Computer programming